Search results for " covering space"
showing 3 items of 3 documents
Transitive factorizations in the hyperoctahedral group
2008
The classical Hurwitz enumeration problem has a presentation in terms of transitive factor- izationsin the symmetric group. This presentationsuggestsageneralizationfromtypeAto otherfinite reflection groups and, in particular, to type B.W e study this generalization both from ac ombinatorial and a geometric point of view, with the prospect of providing am eans of understanding more of the structure of the moduli spaces of maps with an S2-symmetry. The type A case has been well studied and connects Hurwitz numbers to the moduli space of curves. W ec onjecture an analogous setting for the type B case that is studied here. 1I ntroduction Transitive factorizations of permutations into transposit…
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
2013
AbstractWe prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background to such diverse tools. In particular, we offer a detailed proof of the duality …
Some remarks on universal covers and groups
2014
We give a quick reviw of problems concerning the topological behavior of contractible covering spaces, from the point of view of the topology at infinity.